My first fifteen compilers (2019)
π¬Nanopasses
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgΒ·18h
πLog Parsers
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comΒ·22h
πStack Allocation
Flag this post
Advanced 3D IC Heterogeneous Integration Analysis via Bayesian Optimization and AI-Driven Defect Mapping
β‘JIT Optimizations
Flag this post
Smart Handling Of Reset Domain Crossings To Non-Resettable Flip-Flops
semiengineering.comΒ·1d
π’Bit Manipulation
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
πBorrowing Extensions
Flag this post
About writing control systems in C
πControl Structures
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
π§ͺCompiler Testing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comΒ·1d
βοΈInference Rules
Flag this post
Scalable Static Analysis Framework β hardening large C++ codebases (LLVM/Apple)
πͺProgram Slicing
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comΒ·12h
π¬Smalltalk VMs
Flag this post
Mocking TSAN is fun
πBytecode Interpreters
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.comΒ·7h
πInteractive Debuggers
Flag this post
An intro to the Tensor Economics blog
lesswrong.comΒ·2d
πΊοΈRegion Inference
Flag this post
Loading...Loading more...